Interactive technology assessment (iTA) provides an answer to the ethical problem of normative bias in evaluation research. This normative bias develops when relevant perspectives on the evaluand (the thing being evaluated) are neglected. In iTA this bias is overcome by incorporating different perspectives into the assessment. As a consequence, justification of decisions based on the assessment is provided by stakeholders having achieved agreement. In this article, agreement is identified with wide reflective equilibrium to show that it indeed has the potential (...) of justifying decisions. We work out several conditions for this agreement to be achievable and just. (shrink)

(1941). A survey of the growth of knowledge about certain parts of the foetal cardio-vascular apparatus, and about the foetal circulation, in Man and some other mammals. Part I: Galen to Harvey. Annals of Science: Vol. 5, No. 1, pp. 57-89.

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)

The current article aims to provide an up-to-date synopsis of available techniques to study affect dynamics using intensive longitudinal data. We do so by introducing the following eight dichotomies that help elucidate what kind of data one has, what process aspects are of interest, and what research questions are being considered: single- versus multiple-person data; univariate versus multivariate models; stationary versus nonstationary models; linear versus nonlinear models; discrete time versus continuous time models; discrete versus continuous variables; time versus frequency domain; (...) and modeling the process versus computing descriptives. In addition, we discuss what we believe to be the most urging future challenges regarding the modeling of affect dynamics. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

In this article, we report findings from a qualitative study that explored how the relatives of intensive care unit patients experienced the nurses’ role and relationship with them in the end-of-life decision-making processes. In all, 27 relatives of 21 deceased patients were interviewed about their experiences in this challenging ethical issue. The findings reveal that despite bedside experiences of care, compassion and comfort, the nurses were perceived as vague and evasive in their communication, and the relatives missed a long-term perspective (...) in the dialogue. Few experienced that nurses participated in meetings with doctors and relatives. The ethical consequences imply increased loneliness and uncertainty, and the experience that the relatives themselves have the responsibility of obtaining information and understanding their role in the decision-making process. The relatives therefore felt that the nurses could have been more involved in the process. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

This book collects texts from three specialists in ancient philosophy which deal with the question of perceptive and intellective knowledge in antiquity. They try to present, in their different analyzes, the complex interrelationship among perception and thought in ancient authors, like Heraclitus, Parmenides, Democritus, Plato and Aristotle. The purpose of the texts is to expose the visible field - the perceptual knowledge domain - interacts with the invisible - the domain of reason and thought. In other words, that among them (...) there is no a radical separation of these two areas, although they are clearly distinct. (shrink)